Research - PDFSEARCH.IO - Document Search Engine

Research
Results: 462323

#	Item
241	A Type Discipline for Authorization in Distributed Systems C´edric Fournet Microsoft Research Andrew D. Gordon Microsoft Research Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2009-08-14 07:09:04 Logic Mathematical logic Metalogic Propositional calculus Boolean algebra Formal languages Syntax Substitution Admissible rule Model theory Type Quantifier
242	HONG KONG INSTITUTE FOR MONETARY RESEARCH INTERNATIONAL TRADE FINANCE AND THE COST CHANNEL OF MONETARY POLICY IN OPEN ECONOMIES Nikhil Patel Add to Reading List Source URL: www.hkimr.org Language: English - Date: 2018-07-20 02:59:26 Economy Macroeconomics Economics Monetary policy New Keynesian economics Monetary economics Keynesian economics Macroeconomic policy Nominal rigidity Inflation Dynamic stochastic general equilibrium Money supply
243	The use of theorem-proving techniques in question-answering systems by C. CORDELL GREEN and BERTRAM RAPHAEL Stanford Research Institute Menlo Park, California Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2011-11-16 13:40:45 Logic Metalogic Mathematics Proof theory Model theory Mathematical logic Syntax First-order logic Well-formed formula Formal system Logic programming Resolution
244	1 Braxton Way Suite 125 Glen Mills, PA4300 www.ssrs.com The study was conducted for CNN via telephone by SSRS, an independent research company. Interviews were conducted from October 16, 2018 to October 20 Add to Reading List Source URL: cdn.cnn.com Language: English - Date: 2018-10-21 09:34:08 Voting Elections Voter registration Voter segments in political polling Voting in the United States Politics Group decision-making
245	Message from the NSDI ’16 Program Co-Chairs A warm welcome to NSDI ‘16! We are delighted to continue the NSDI tradition and share with you the latest and greatest research on network systems. This year’s program fe Add to Reading List Source URL: www.usenix.org Language: English - Date: 2017-07-14 07:19:47 Geographic data and information Computing Unix OMB Circular A-16 United States Office of Management and Budget USENIX cole Polytechnique Fdrale de Lausanne Dependability Information Euthenics
246	Learning to Pass Expectation Propagation Messages Nicolas Heess∗ Gatsby Unit, UCL Daniel Tarlow Microsoft Research Add to Reading List Source URL: papers.nips.cc Language: English - Date: 2014-11-25 16:15:37 Probability and statistics Statistical theory Statistics Graphical models Bayesian statistics Market research Market segmentation Machine learning Factor graph Belief propagation Variational Bayesian methods Mixture model
247	Atlantic States Marine Fisheries Commission Research Priorities and Recommendations to Support Interjurisdictional Fisheries Management April 2018 Add to Reading List Source URL: www.asmfc.org Language: English - Date: 2018-07-03 17:42:23 Fishing Fisheries science Stock assessment Atlantic menhaden Fisheries management Atlantic States Marine Fisheries Commission Eel life history National Marine Fisheries Service Atlantic Coastal Cooperative Statistics Program Fish stock Discards Fisheries observer
248	A MOVING LEMMA, AFTER GABBER, LIU, LORENZINI by Jean-Baptiste Teyssier Introduction This text is a written version of a talk given for the Winter research seminar Chow Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2015-01-04 10:31:31 Algebra Abstract algebra Mathematics Algebraic geometry Divisor Spectrum of a ring Proper morphism Finite morphism Sheaf Scheme Morphism of algebraic varieties Flat morphism
249	VasiliosMavroudis mavroud.is Research Interests Privacy Attacks & Countermeasures, AI Safety & Adversarial Machine Learning, Consensus Protocols & Market Microstructure Add to Reading List Source URL: mavroud.is Language: English - Date: 2018-10-23 09:34:50 Computing Security engineering Prevention Crime prevention National security Cryptography Information governance Secure communication Privacy Internet of things Information security Internet privacy
250	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio∗ Laurent Vanbever Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:12 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network

UPDATE